AADL相关论文
安全关键系统广泛应用于航空电子、航天器、武器装备以及轨道交通等领域,这类系统具有高安全、资源受限、实时响应等特点。近年来,......
随着计算技术、通信技术、传感技术和控制技术的快速发展与突破,使信息物理系统（Cyber Physical System,CPS）追求物理世界和计算资源......
在航天、汽车、航空等领域,安全关键系统有很强的实时需求,因此验证数据流的端到端延迟尤其重要。端到端延迟的变化是受到处理时间......
随着一些高科技的进步,无人驾驶技术逐渐成熟,已经成为一种未来趋势。无人驾驶技术的安全性和可靠性非常重要,也一直是汽车研发团......
随着嵌入式实时应用系统的迅速发展,面对着不断增长的嵌入式软件开发的复杂性压力,如何高效的开发嵌入式应用程序,成为软件工程学......
随着功能需求的不断增加,安全关键系统的设计变得越来越复杂。如何通过建模与验证的方法保证安全关键系统的质量,一直以来都是形式......
随着安全关键软件的规模和复杂性不断增长,确保软件设计和功能的正确性变得更加困难。模型驱动开发方法已经成为了安全关键软件设......
安全关键软件广泛应用于航空电子、航天器、武器装备以及轨道交通等领域,这类软件具有高安全、资源受限、实时响应等特点。基于AAD......
使用体系结构分析和设计语言AADL（ Architecture Analysis and Design Language ）对月球车导航系统进行分析与建模，把整个导航系统合......
随着系统复杂性的急剧增加,未来安全关键软件越来越多地采用异构构件组合架构,各种构件可能使用不同的计算模型或实现语言,使得整......
模型驱动开发逐渐应用于嵌入式系统的软件设计,在软件设计阶段重点关注的是软件的架构模型和详细功能模型。用于嵌入式系统软件建......
形式化方法对于软件的开发过程有着重要的作用。为了研究体系结构分析与设计语言(AADL)在软件开发中的作用及其技术现状,介绍了AAD......
UML已经成为复杂系统建模的工业标准，并可借助代码自动生成工具实现从分析到编码的开发过程自动化；AADL具有精确的语义和严格的语法......
构件交互自动机（Component-Interaction Automata，Co-IA）是扩展了构件之间交互描述的自动机。体系结构分析设计语言（Architecture Anal......
针对设计阶段难以对刹车控制系统进行实时性分析验证的问题,提出基于SysML ＆ AADL的实时性需求验证方法。首先论述综合模块化航电系......
结构分析与设计语言（Architecture Analysis and Design Language，AADL）是复杂嵌入式实时系统体系结构建模的语言标准，但是对于嵌入式......
针对设计阶段难以对汽车防滑控制系统进行可调度性分析的问题,利用AADL为该系统建模.根据实时系统中任务调度与线程、计算时间、处......
目前,AADL在任务关键和安全关键嵌入式领域有着良好的应用。如何在设计阶段对AADL模型进行仿真,并根据仿真结果迭代构造和精化设计......
采用架构分析与设计语言（AADL）建立嵌入式系统的半形式化模型,实现从AADL模型到静态故障树（Static Fault Tree,SFT）模型的转换,并根据......
体系结构分析和设计语言AADL能够在架构级对系统进行建模，并通过一系列验证尽早发现系统设计中的问题，在航空航天等嵌入式系统中具有......
鉴于模型在软件系统开发中日趋重要的地位和AADL模型在嵌入式软件建模中的良好应用前景,为了在嵌入式软件系统开发前期保证AADL模......
在航天嵌入式设备研制过程中,对于元器件与电路设计的可靠性评估手段已经比较成熟,但其视角有一定局限性,其评估结果无法直接反映......
结构分析设计语言（AADL）可以描述嵌入式系统的实时性、可靠性等关键性能特性，是嵌入式领域的体系结构建模、分析和验证的重要手段。针......
构件式系统是一种采用构件组合技术实现的结构系统，即在采用单个构件封装简单的业务功能基础上，通过集成多个构件逐步构造新的组合构......
随着中断控制在嵌入式实时系统中的不断广泛应用，中断控制的可靠性是系统设计中面临的重要问题。虽然基于体系结构分析与设计语言（AA......
提出了一种解决软件容错系统的可靠性评估方法，该方法基于AADL，对嵌入式软件系统进行建模，详细分析了软件系统内部各种构件的各种错误......
鉴于模型在软件系统开发中日趋重要的地位和AADL模型在嵌入式软件建模中的良好应用前景，为了在嵌入式软件系统开发前期保证AADL模型......
AADL是一种描述嵌入式实时系统的软硬件结构、安全性、可靠性等关键性能特性的重要手段,目前已广泛应用于基于ARINC653的综合化航......
针对汽车车身控制模块可调度性难以预测分析的问题,利用AADL建立相应模型,通过OSATE工具对比分析不同的派遣协议、执行时间、线程......
随着嵌入式软件系统在汽车、核工业、航空、航天等安全关键领域的广泛应用,其失效将会导致财产的损失、环境的破坏甚至人员的伤亡,......
为了便于对体系结构设计和分析语言AADL可靠性模型进行可靠性评估，实现AADL模型到广义随机Petri网模型（GSPN）可靠性计算模型的自动转......
通过研究AADL的模型和Fiacre的模型特征,探讨了从AADL执行模型到Fiacre模型转换问题。首先基于AMMA平台建立AADL执行模型到FIACRE......
分析无人机导航系统的功能特点，把其分为三个子系统：测量系统、计算系统、执行系统。采用AADL对整个系统进行建模，使用OSATE工具，定义......
目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用。为了保障任务关键软件的质量,文章提出基于AADL测试模型对......
随着嵌入式软件在安全关键领域广泛应用，系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显重要。结构分析设计语言AADL是应......
AADL是一种基于组件的半形式化建模语言,采用结构化方法对大型复杂软件系统的软硬件进行统一建模,有效描述系统的功能行为、非功能......
针对传统建模技术对机载嵌入式系统资源描述和分析的不足,本文提出了一种机载嵌入式系统资源建模与分析技术。首先,基于AADL(Archi......
信息物理融合系统由具有连续性的物理系统和具有离散性的信息系统组合而成,是一种复杂的混成系统。针对现有的建模方法不能够直接......
结构分析与设计语言AADL是一种嵌入式实时系统的体系结构建模的语言标准,因为其可以兼顾软件和硬件两方面共同建模,已被广泛应用于......
信息物理融合系统CPS是通过计算、通信与控制技术有机和深度的融合实现计算资源与物理资源紧密结合的下一代智能系统,体系结构分析......
AADL和MARTE都支持对实时嵌入式系统形式化建模的分析。利用MARTE的时间模型设备,研究MARTE是如何对实时嵌入式系统的建模和分析的......
介绍了结构分析与设计语言（AADL）的应用研究和优点,以某航天器控制分系统部分中断类型为例,针对AADL语言自身直接对中断问题描述能力......
当代航空系统是复杂的安全关键信息物理融合系统(cyber-physical system,简称CPS).失效概率分配是民用航空系统及设备初步系统安全......
随着信息时代的来临,信息通讯技术取得巨大发展。基于物理与信息系统互联的信息物理融合系统概念被提出。信息物理融合系统(Cyber-......
综合模块化系统(IMA)是当前航空电子发展的主要方向,IMA基于应用分区,通过共享与重用功能独立的组件,构建开放式模块化的航空电子......
对于安全关键系统,资源共享在不同功能之间引入了一些不可避免的互连,从而导致故障传播模式更加复杂,分析它们之间的关系变得更加......
模型驱动开发方法逐渐应用于航空航天等领域的安全关键软件设计与实现中。体系结构分析设计语言(Architecture Analysis and Desig......
安全关键系统的实现需要通过需求、设计、集成、验证和测试等多个阶段。近年来,模型驱动开发方法逐渐成为安全关键系统设计与开发......
